"Orna Grumberg" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Model Checking

Edmund M. Clarke Jr., Orna Grumberg, Doron A. Peled

2.13 Mb

#2

Model checking

Edmund M. Clarke Jr., Orna Grumberg, Doron A. Peled

Категория: Computer science, Algorithms

1.88 Mb

#3

Model checking

Edmund M. Clarke Jr., Orna Grumberg, Doron A. Peled

3.22 Mb

#4

Languages, from formal to natural essays dedicated to Nissim Francez on the occasion of his 65th birthday

Orna Grumberg, Michael Kaminski, Shmuel Katz, Shuly Wintner

3.72 Mb

#5

Tools and Algorithms for the Construction and Analysis of Systems, 13 conf., TACAS 2007

Orna Grumberg, Michael Huth

Категория: Cs_Computer science, CsLn_Lecture notes

8.60 Mb

#6

Computer Aided Verification, 9 conf., CAV '97

Категория: Cs_Computer science, CsLn_Lecture notes

5.29 Mb

#7

25 Years of Model Checking

Orna Grumberg, Helmut Veith

Категория: CsLn_

4.00 Mb

#8

25 Years of Model Checking: History, Achievements, Perspectives (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)

Orna Grumberg, Helmut Veith

Категория: Computer Science, Computer Science

41.36 Mb

#9

Formal Logical Methods for System Security and Correctness

Orna Grumberg, Orna Grumberg, Tobias Nipkow, Christian Pfaller

Категория: Cs_Computer science, CsAl_Algorithms

1.73 Mb